Search results for "Knowledge representation and reasoning"
showing 10 items of 62 documents
Self-Organized Linguistic Systems: From traditional AI to bottom-up generative processes
2018
Este trabajo busca explorar el potencial de los procesos generativos bottom-up en el contexto de la producción conlang, con el objetivo de describir las bases de un nuevo campo de investigación: los Sistemas Lingüísticos Autoorganizados o SOLS, específicamente bajo la perspectiva doble de sistemas autoorganizados y lenguajes construidos. El enfoque SOLS proporciona un marco para la creación de lenguajes artificiales autogenerados y puede servir como punto de partida para el desarrollo de lenguajes dependientes del contexto o específicos del dominio. Reconoce que el desarrollo de conlangs puede ocurrir en sociedades artificiales de agentes simples, como resultado de interacciones sociales en…
Artificial intelligence techniques for cancer treatment planning
1988
An artificial intelligence system, NEWCHEM, for the development of new oncology therapies is described. This system takes into account the most recent advances in molecular and cellular biology and in cell-drug interaction, and aims to guide experimentation in the design of new optimal protocols. Further work is being carried out, aimed to embody in the system all the basic knowledge of biology, physiopathology and pharmacology, to reason qualitatively from first principles so as to be able to suggest cancer therapies.
Hybrid architecture for shape reconstruction and object recognition
1998
The proposed architecture is aimed to recover 3-D- shape information from gray-level images of a scene; to build a geometric representation of the scene in terms of geometric primitives; and to reason about the scene. The novelty of the architecture is in fact the integration of different approaches: symbolic reasoning techniques typical of knowledge representation in artificial intelligence, algorithmic capabilities typical of artificial vision schemes, and analogue techniques typical of artificial neural networks. Experimental results obtained by means of an implemented version of the proposed architecture acting on real scene images are reported to illustrate the system capabilities.
Graphic syntax and representational development
2008
International audience; This chapter focuses specifically on the relationships between syntax and cognitive development, particularly representational development. Vinter, Picard and Fernandes promote the take-home message that changes in drawing behaviour during development result from changes in the size of the cognitive units or mental representations used to plan behaviour, and in the capacity to manage part-whole relationships. This hypothesis is first illustrated by reviewing studies in which children's adherence to the graphic rules when they copy elementary or complex figures is assessed. The authors also examine children's syntactical behaviour at a more global level, characterizin…
Knowledge representation for robotic vision based on conceptual spaces and attentive mechanisms
1995
A new cognitive architecture for artificial vision is proposed. The architecture is aimed for an autonomous intelligent system, as several cognitive hypotheses have been postulated as guidelines for its design. The design is based on a conceptual representation level between the subsymbolic level processing the sensory data, and the linguistic level describing scenes by means of a high-level language. The architecture is also based on the active role of a focus of attention mechanism in the link between the conceptual and the linguistic level. The link between the conceptual level and the linguistic level is modelled as a time-delay attractor neural network.
Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning
2001
We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore the relationship between coherence-based and model-theoretic probabilistic logic. Interestingly, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic logic with concepts from default reasoning. Crucially, we even show that probabilistic reasoning under coherence is a probabilistic generalization of default reasoning in system P. That is, we provide a new probabilistic semantics for system P, which is neither based on infinitesimal probabilities nor on atomic-bound (or also big-stepped) probabil…
Performance evaluation of robotic knowledge representation (PERK)
2012
In this paper, we explore some ways in which symbolic knowledge representations have been evaluated in the past and provide some thoughts on what should be considered when applying and evaluating these types of knowledge representations for real-time robotics applications. The emphasis of this paper is that the robotic applications require real-time access to information, which has not been one of the aspects measured in traditional symbolic representation evaluation approaches.
Symbolic and conceptual representation of dynamic scenes: Interpreting situation calculus on conceptual spaces
2001
In (Chella et al. [1,2]) we proposed a framework for the representation of visual knowledge, with particular attention to the analysis and the representation of scenes with moving objects and people. One of our aims is a principled integration of the models developed within the artificial vision community with the propositional knowledge representation systems developed within symbolic AI. In the present note we show how the approach we adopted fits well with the representational choices underlying one of the most popular symbolic formalisms used in cognitive robotics, namely the situation calculus.
A Hypergraph Based Framework for Intelligent Tutoring of Algebraic Reasoning
2013
The translation of word problems into equations is one of the major difficulties for students regarding problem solving. This paper describes both a domain-specific knowledge representation and an inference engine based on hypergraphs that permits intelligent student supervision of this stage of the solving process. The framework presented makes it possible to simultaneously: a) represent all potential algebraic solutions to a given word problem; b) keep track of the student’s actions; c) provide automatic remediation; and d) determine the current state of the resolution process univocally. Starting from these ideas, we have designed an intelligent tutoring system (ITS). An experimental eva…
A Stigmergic Guiding System to Facilitate the Group Decision Process
2012
The paper presents a stigmergic approach to engineer a guiding system to facilitate the complex problem of designing the group decision processes. The system aims to provide contextual, actionable recommendations based on the knowledge and past experience of its users as recorded in a collaborative working environment implemented around the concept of stigmergic systems. Through an agent-based socio-simulation experiment we have demonstrated already the feasibility of this approach. The paper illustrates how the simulation results are transferred into a guiding system that facilitates the group decision process design through iterative queries reformulations for the identification, represen…